Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·16h
🧮Algebraic Archives
Flag this post
From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
🔍Information Retrieval
Flag this post
Horn Clauses
youtube.com·3h
👑Isabelle/HOL
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
💻Programming languages
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
The Structure of Data
🗂Data structures
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Roadmap for Improving the Type Checker
💧Liquid Types
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
🗣️Domain-Specific Languages
Flag this post
Review Based Entity Ranking using Fuzzy Logic Algorithmic Approach: Analysis
arxiv.org·16h
📊Search Ranking
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
Reflection for Aggregates (2020)
🔒Type Safety
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·16h
🧮Kolmogorov Complexity
Flag this post
Reinventing Assertions
⚡Proof Automation
Flag this post
Loading...Loading more...